LocKnd $\in$ Type